 |
0 索取号:TP31/E90188 作者: 出版社:Reading, Mass. : Addison-Wesley, 1981.
|  |
0 索取号:TP31/E807 作者: 出版社:Cambridge, Mass. : MIT Press, 1979.
|
 |
0 索取号:TP391.7/E991 作者: 出版社:Boston : Kluwer Academic, 1999.
|  |
0 索取号:F224/E9011.6-2 作者:Harshbarger、 Ronald J.、 1938-、Reynolds、 James J.、 出版社:Boston : Houghton Mifflin, c2000.
|
 |
0 索取号:TP31/E90159 作者:NATO Advanced Research Workshop on Program Transformation and Programming Environments (1983 : Munich、 Germany)、Pepper、 Peter.、NATO Science Committee.、North Atlantic Treaty Organization. Scientific Affairs Division.、 出版社:Berlin ; New York : Springer-Verlag, 1984.
|  |
0 索取号:TP31/E90180 作者:Pohl、 Ira.、Shaw、 Alan C.、 1937- joint author.、 出版社:Rockville Potomac, MD : Computer Science Press, 1981.
|
 |
0 索取号:TP31/E90185 作者:McGettrick、 Andrew D.、 1944-、Smith、 Peter D. (Peter Desmond)、 1950-、 出版社:London ; Reading, Mass. : Addison-Wesley, 1983.
|  |
0 索取号:H052/E993.2 作者:Booth、 Vernon.、 出版社:Beijng : Tsinghua University Press, 1999.
|
 |
0 索取号:TP31/E9029 作者:Gries、 David、 1939-、 出版社:New York : Springer-Verlag, 1981.
|  |
0 索取号:TP31/E8025 作者:Brady、 J. M.、 出版社:London : Chapman and Hall ; New York : Wiley : distributed in the U.S.A. by Halsted Press, 1977.
|
 |
0 索取号:TP31/E8041/3 作者:John //R. Rice、Mathematical Software Symposium、 University of Wisconsin--Madison、 1977.、Rice、 John Rischard.、University of Wisconsin--Madison. Mathematics Research Center.、 出版社:New York : Academic Press, 1977.
|  |
0 索取号:TP309-53/E991/1991 作者:IEEE Computer Society Symposium on Research in Security and Privacy (1991 : Oakland、 Calif.)、IEEE Computer Society. Technical Committee on Security and Privacy.、International Association for Cryptologic Research.、Institute of Electrical and Electronics Engineers.、 出版社:Los Alamitos, Calif. : IEEE Computer Society Press, c1991.
|
 |
0 索取号:TP302/E9029/2 作者:NATO Advanced Study Institute on Information Science (1978 : Crete、 Greece)、Debons、 A.、Larson、 Arvid G.、 出版社:The Hague ; Boston : M. Nijhoff ; Hingham, MA : Distributors for the U.S. and Canada, Kluwer Boston, 1983.
|  |
0 索取号:TP302/E9029/1 作者:NATO Advanced Study Institute on Information Science (1978 : Crete、 Greece)、Debons、 A.、Larson、 Arvid G.、 出版社:The Hague ; Boston : M. Nijhoff ; Hingham, MA : Distributors for the U.S. and Canada, Kluwer Boston, 1983.
|
 |
0 索取号:TP301-53/E991/6 作者:Symposium on Logic in Computer Science (6th : 1991 : Amsterdam、 Netherlands)、IEEE Xplore (Online service).、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、 出版社:Los Alamitos, Calif. : IEEE Computer Society Press, c1991.
|  |
0 索取号:TP301-53/E991/1986 作者:Symposium on Logic in Computer Science (1986 : Cambridge、 Mass.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、ACM Special Interest Group for Automata and Computability Theory.、Association for Symbolic Logic.、European Association for Theoretical Computer Science.、 出版社:Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1986.
|